* configure.in: Require makeinfo >= 4.7.
authorGlenn Morris <rgm@gnu.org>
Mon, 9 Apr 2012 00:50:17 +0000 (17:50 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 9 Apr 2012 00:50:17 +0000 (17:50 -0700)
commit1667d2ee698ffdabe2a6a46d6f5e7e14117b572a
treee0df6bbf99de21664afd78f09cd5c36acc3a14ee
parentf17846357a5b00985131f1766dc705efa995191f
* configure.in: Require makeinfo >= 4.7.
Eg org.texi has been using 4.7 functions for some time.
ChangeLog
configure.in